data Maybe a = Either () a